Infeasible paths in object-oriented programs
نویسندگان
چکیده
منابع مشابه
Shaping Object-oriented Programs
Object-oriented programming is valued for the clarity and maintainability of its programs. However, this success is mainly connned to small-scale phenomena, such as re-implementation of a single class: large-scale structures are as obscure and fragile as ever. We ooer shape theory as a means of reasoning about program structure, and improving object-oriented design. In particular, shape analysi...
متن کاملSlicing Object-Oriented Programs
Program slicing has various applications in the fields of software engineering. The Object-Oriented (00) paradigm introduces the features of abstraction, encapsulation, inheritance, and polymorphism to programs, but is not considered current program slicing techniques. In this paper, we define two types of program slices, state and behavior slices, by taking the dependencies of 00 features into...
متن کاملOn Testing Object-Oriented Programs
The object-oriented paradigm is a new technology for producing software. This new technology has many benefits for parts of the entire software development cycle (analysis, design and implementation phases) : the object-oriented development process is iterative, the object-oriented paradigm emphasize reuse, the items of interest are always the objects, ... Thus, engineers and managers want to u...
متن کاملModeling Object Oriented Constraint Programs in
Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables, . . . ) is a source of...
متن کاملTesting coupling relationships in object-oriented programs
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults occur when components are integrated to form higher level structures that aggregate behavior and state. Consequently, we need to place more effort on testing the connections among components. Although object-oriented te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.11.005